Ida, Tetsuo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Morley’s theorem revisited: Origami construction and automated proof

Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi

Journal:

Journal of Symbolic Computation

Year:

2011

Language:

english

File:

PDF, 1.06 MB

english, 2011

2

Origami fold as algebraic graph rewriting

Tetsuo Ida, Hidekazu Takahashi

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 2.57 MB

english, 2010

3

Computational Origami Construction as Constraint Solving and Rewriting

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghoura

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 466 KB

english, 2008

4

10.1038/45966

Yamamori, Tetsuo, Onishi, Akishi, Koike, Satoshi, Ida, Miki, Imai, Hiroo, Shichida, Yoshinori, Takenaka, Osamu, Hanazawa, Akitoshi, Konatsu, Hidehiko, Mikami, Akichika, Goto, Shunji, Suryobrotoq, Bamb

Journal:

Year:

1999

Language:

english

File:

PDF, 65 KB

english, 1999

5

Laparoscopic Gastrectomy for Gastric Cancer with Peritoneal Dissemination after Induction Chemotherapy

Tsutsumi, Satoshi, Oki, Eiji, Ida, Satoshi, Ando, Koji, Kimura, Yasue, Saeki, Hiroshi, Morita, Masaru, Kusumoto, Tetsuya, Ikeda, Tetsuo, Maehara, Yoshihiko

Journal:

Case Reports in Gastroenterology

Year:

2013

Language:

english

File:

PDF, 926 KB

english, 2013

6

Foreword

Schreck, Pascal, Ida, Tetsuo, Kovacs, Laura

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

File:

PDF, 276 KB

2019

7

[Texts & Monographs in Symbolic Computation] An Introduction to Computational Origami ||

Year:

2020

File:

PDF, 3.49 MB

2020

8

ChemInform Abstract: Introduction of Two Anthracene Moieties into Perylenebis(dicarboximide) Core by Suzuki—Miyaura Coupling Toward Construction of Donor—Acceptor Arrays.

Tetsuo Iwanaga, Hiroko Ida, Makoto Takezaki, Shinji Toyota

Journal:

Year:

2012

File:

PDF, 32 KB

2012

9

Lazy narrowing: Strong completeness and eager variable elimination

Aart Middeldorp, Satoshi Okui, Tetsuo Ida

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.49 MB

english, 1996

10

Editorial

Yoshihiko Futamura, Tetsuo Ida, Reiji Nakajima, Tateaki Sasaki

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 68 KB

english, 1989

11

Hot Topics in Reduction Strategies: A panelist's view

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 161 KB

english, 2001

12

An open environment for cooperative equational solving

Tetsuo Ida, Mircea Marin, Norio Kobayashi

Journal:

Wuhan University Journal of Natural Sciences

Year:

2001

Language:

english

File:

PDF, 572 KB

english, 2001

13

Lower Levels of Transgene Silencing in Roots is Associated with Reduced DNA Methylation Levels at Non-Symmetrical Sites but not at Symmetrical Sites

Ida Bagus Andika, Hideki Kondo, Muhammad Danial Rahim, Tetsuo Tamada

Journal:

Plant Molecular Biology

Year:

2006

Language:

english

File:

PDF, 416 KB

english, 2006

14

Computational origami environment on the web

Asem Kasem, Tetsuo Ida

Journal:

Frontiers of Computer Science

Year:

2008

Language:

english

File:

PDF, 1.06 MB

english, 2008

15

Carbonization of methylene-bridged aromatic oligomers

Toru Ida, Katsumi Akada, Tetsuo Okura, Mikio Miyake, Masakatsu Nomura

Journal:

Year:

1992

Language:

english

File:

PDF, 578 KB

english, 1992

16

Minimised Geometric Buchberger Algorithm for Integer Programming

Qiang Li, Yi-ke Guo, John Darlington, Tetsuo Ida

Journal:

Annals of Operations Research

Year:

2001

Language:

english

File:

PDF, 165 KB

english, 2001

17

First record of the gobiid fish,Priolepis fallacincta, from japan

Yoshimasa Aonuma, Tetsuo Yoshino, Hitoshi Ida

Journal:

Ichthyological Research

Year:

1996

Language:

english

File:

PDF, 370 KB

english, 1996

18

Functional programming with streams —Part II—

Tetsuo Ida, Jiro Tanaka

Journal:

New Generation Computing

Year:

1984

Language:

english

File:

PDF, 557 KB

english, 1984

19

Parallel hashing algorithms

Eiichi Goto, Tetsuo Ida, Takao Gunji

Journal:

Information Processing Letters

Year:

1977

Language:

english

File:

PDF, 707 KB

english, 1977

20

Some FP algebra with Currying operation

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 232 KB

english, 1983

21

Uptake of [3H]-fosfomycin into cells of enterohemorrhagic Escherichia coli O157 and E. coli non-O157

Isami Tsuboi, Hirohisa Ida, Eiji Yoshikawa, Suehiro Hiyoshi, Emiko Yamaji, Issei Nakayama, Koji O'Hara, Tomoko Nonomiya, Fritz Shigenobu, Kazuo Taniguchi, Masaki Shimizu, Tetsuo Sawai, Keiji Mizuoka

Journal:

Clinica Chimica Acta

Year:

1999

Language:

english

File:

PDF, 72 KB

english, 1999

22

Technical Improvement of Total Pharyngo-Laryngo-Esophagectomy for Esophageal Cancer and Head and Neck Cancer

Morita, Masaru, Saeki, Hiroshi, Ito, Shuhei, Ikeda, Keisuke, Yamashita, Nami, Ando, Koji, Hiyoshi, Yukiharu, Ida, Satoshi, Tokunaga, Eriko, Uchiyama, Hideaki, Oki, Eiji, Ikeda, Tetsuo, Yoshida, Sei, N

Journal:

Annals of Surgical Oncology

Year:

2014

Language:

english

File:

PDF, 947 KB

english, 2014

23

Simultaneous resection of colorectal cancer and liver metastases in the right lobe using pure laparoscopic surgery

Ando, Koji, Oki, Eiji, Ikeda, Tetsuo, Saeki, Hiroshi, Ida, Satoshi, Kimura, Yasue, Soejima, Yuuji, Morita, Masaru, Shirabe, Ken, Kusumoto, Tetuya, Maehara, Yoshihiko

Journal:

Year:

2014

Language:

english

File:

PDF, 525 KB

english, 2014

24

Surgical Resection for Esophageal Cancer Synchronously or Metachronously Associated with Head and Neck Cancer

Morita, Masaru, Kawano, Hiroyuki, Otsu, Hajime, Kimura, Yasue, Saeki, Hiroshi, Ando, Koji, Ida, Satoshi, Oki, Eiji, Ikeda, Tetsuo, Kusumoto, Tetsuya, Fukushima, Jun-ichi, Nakashima, Torahiko, Maehara,

Journal:

Annals of Surgical Oncology

Year:

2013

Language:

english

File:

PDF, 302 KB

english, 2013

25

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - Origami axioms and circle extension

Kasem, Asem, Ghourabi, Fadoua, Ida, Tetsuo

Year:

2011

Language:

english

File:

PDF, 655 KB

english, 2011

26

Newly Developed Liver-Retraction Method for Laparoscopic Gastric Surgery Using a Silicone Disc: The Φ-Shaped Technique

Saeki, Hiroshi, Oki, Eiji, Kawano, Hiroyuki, Ando, Koji, Ida, Satoshi, Kimura, Yasue, Morita, Masaru, Kusumoto, Tetsuya, Ikeda, Tetsuo, Maehara, Yoshihiko

Journal:

Journal of the American College of Surgeons

Year:

2013

Language:

english

File:

PDF, 553 KB

english, 2013

27

Characterization of burdock mottle virus, a novel member of the genus Benyvirus, and the identification of benyvirus-related sequences in the plant and insect genomes

Kondo, Hideki, Hirano, Shuichi, Chiba, Sotaro, Andika, Ida Bagus, Hirai, Makoto, Maeda, Takanori, Tamada, Tetsuo

Journal:

Year:

2013

Language:

english

File:

PDF, 3.00 MB

english, 2013

28

Fan-precooling effect on heat strain while wearing protective clothing

Tokizawa, Ken, Sawada, Shinichi, Oka, Tatsuo, Yasuda, Akinori, Tai, Tetsuo, Ida, Hirofumi, Nakayama, Kazumi

Journal:

International Journal of Biometeorology

Year:

2014

Language:

english

File:

PDF, 338 KB

english, 2014

29

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || A Search Engine for Mathematical Formulae

Calmet, Jacques, Ida, Tetsuo, Wang, Dongming

Year:

2006

Language:

english

File:

PDF, 608 KB

english, 2006

30

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial

Calmet, Jacques, Ida, Tetsuo, Wang, Dongming

Year:

2006

Language:

english

File:

PDF, 392 KB

english, 2006

31

[IEEE 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2008.09.26-2008.09.29)] 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Graph Rewriting in Computational Origami

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

32

[IEEE 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2013.09.23-2013.09.26)] 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification

Ida, Tetsuo, Ghourabi, Fadoua, Takahashi, Kazuko

Year:

2013

Language:

english

File:

PDF, 463 KB

english, 2013

33

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - A Compiler for Origami Construction and Verification

Year:

2009

Language:

english

File:

PDF, 107 KB

english, 2009

34

[IEEE 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - timisoara, Romania (2006.09.26-2006.09.29)] 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Tiers of webOrigami Programming

Year:

2006

Language:

english

File:

PDF, 53 KB

english, 2006

35

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Modeling Origami and Beyond

Year:

2007

Language:

english

File:

PDF, 414 KB

english, 2007

36

IR and Py-GC/MS spectral simulation of polymer film by quantum chemical and quantum molecular dynamics calculations using the polymer models

Endo, Kazunaka, Hayashi, Koichiro, Ida, Tomonori, Takemura, Tetsuo

Journal:

Russian Journal of Physical Chemistry A, Focus on Chemistry

Year:

2014

Language:

english

File:

PDF, 936 KB

english, 2014

37

Differential contributions of plant Dicer-like proteins to antiviral defences against potato virus X in leaves and roots

Andika, Ida Bagus, Maruyama, Kazuyuki, Sun, Liying, Kondo, Hideki, Tamada, Tetsuo, Suzuki, Nobuhiro

Journal:

The Plant Journal

Year:

2015

Language:

english

File:

PDF, 803 KB

english, 2015

38

[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 4120 || On the Mixed Cayley-Sylvester Resultant Matrix

Calmet, Jacques, Ida, Tetsuo, Wang, Dongming

Year:

2006

Language:

english

File:

PDF, 469 KB

english, 2006

39

Formalizing polygonal knot origami

Ida, Tetsuo, Ghourabi, Fadoua, Takahashi, Kazuko

Journal:

Journal of Symbolic Computation

Year:

2015

Language:

english

File:

PDF, 1.06 MB

english, 2015

40

Combination Therapy against Polymicrobial Infection, Including by NDM-1-Producing Enterobacteriaceae Resistant to Colistin: TABLE 1

Nakamura, Itaru, Sakamoto, Natsuki, Ida, Yukiko, Imai, Ryutaro, Aoki, Kotaro, Ando, Rina, Yamaguchi, Tetsuo, Matsumura, Hajime, Matsumoto, Tetsuya

Journal:

Antimicrobial Agents and Chemotherapy

Year:

2015

Language:

english

File:

PDF, 474 KB

english, 2015

41

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Huzita's Basic Origami Fold in Geometric Algebra

Year:

2014

Language:

english

File:

PDF, 131 KB

english, 2014

42

In memoriam

Journal:

ACM SIGSAM Bulletin

Year:

2005

Language:

english

File:

PDF, 197 KB

english, 2005

43

[ACM Press the 1997 international symposium - Kihei, Maui, Hawaii, United States (1997.07.21-1997.07.23)] Proceedings of the 1997 international symposium on Symbolic and algebraic computation - ISSAC '97 - The minimised geometric Buchberger algorithm

Li, Qiang, Guo, Yi-ke, Ida, Tetsuo, Darlington, John

Year:

1997

Language:

english

File:

PDF, 988 KB

english, 1997

44

[ACM Press the 6th annual symposium - Not Known (1979.04.23-1979.04.25)] Proceedings of the 6th annual symposium on Computer architecture - ISCA '79 - FLATS, a machine for numerical, symbolic and associative computing

Goto, Eiichi, Ida, Tetsuo, Hiraki, Kei, Suzuki, Masayuki, Inada, Nobuyuki

Year:

1979

Language:

english

File:

PDF, 504 KB

english, 1979

45

[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Logical and algebraic view of Huzita's origami axioms with applications to computational origami

Ghourabi, Fadoua, Ida, Tetsuo, Takahashi, Hidekazu, Marin, Mircea, Kasem, Asem

Year:

2007

Language:

english

File:

PDF, 287 KB

english, 2007

46

Different Dicer-like protein components required for intracellular and systemic antiviral silencing in Arabidopsis thaliana

Andika, Ida Bagus, Maruyama, Kazuyuki, Sun, Liying, Kondo, Hideki, Tamada, Tetsuo, Suzuki, Nobuhiro

Journal:

Plant Signaling & Behavior

Year:

2015

Language:

english

File:

PDF, 348 KB

english, 2015

47

[ACM Press the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop - Orlando, Florida, United States (1981.10.13-1981.10.15)] Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems - SIGSMALL '81 - Software-fault detector for microprocessors

Itano, Kozo, Ida, Tetsuo

Year:

1981

Language:

english

File:

PDF, 445 KB

english, 1981

48

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Origami fold as algebraic graph rewriting

Ida, Tetsuo, Takahashi, Hidekazu

Year:

2009

Language:

english

File:

PDF, 386 KB

english, 2009

49

Preface to the special issue on geometric reasoning

Fleuriot, Jacques, Ida, Tetsuo

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 76 KB

english, 2016

50

Leftmost outside-in narrowing calculi

IDA, TETSUO, NAKAHARA, KOICHI

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 337 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски